Uml Reenement and Abstraction Transformations
نویسندگان
چکیده
Transformations of object-oriented models based on a rigorous underlying semantics represent a means of obtaining the beneets of formal methods without the need for users to reason directly in mathematical formalisms. In this paper we present a set of diagrammatic transformations on UML models which represent reenement or abstraction steps. We show how the correctness of these transformations can be justiied in a suitable semantic model of UML.
منابع مشابه
Formalising the UML in Structured Temporal Theories
In this paper we describe a possible semantics for a large part of the Uniied Modelling Notation (UML), using structured theories in a simple temporal logic. This semantic representation is suitable for modular reasoning about UML models. We show how it can be used to clarify certain ambiguous cases of UML semantics, and how to justify enhancement or reenement transformations on UML models.
متن کاملFormal Veri cation of Transformations on Dependency Graphs in Optimizing Compilers
Dependency graphs are used as intermediate representations in optimizing compilers and software-engineering. In a transformational design approach, optimization and reenement transformations are used to transform dependency-graph-based speciications at higher abstraction levels to those at lower abstraction levels. An informal representation would lead to subtle errors, making it diicult to gua...
متن کاملAbstraction-Raising Transformation for Generating Analysis Models
ion-raising Transformation for Generating Analysis Models Antonino Sabetta1, Dorina C. Petriu, Vincenzo Grassi1, Raffaela Mirandola1, 1 University of “Tor Vergata”, Dept. of Informatics, Systems and Production Rome, Italy {sabetta,vgrassi,mirandola}@info.uniroma2.it 2 Carleton University, Department of Systems and Computer Engineering Ottawa, ON Canada, K1S 5B6 [email protected] Abstract. ...
متن کاملRigorously Automating Transformations of Uml Behavior Models
UML is a standard modeling language that enables the specification of applications at many different levels of abstraction using a wide range of notations. However, there is currently only limited research investigating the maintenance of UML models throughout the software lifecycle. In particular, UML behavior models are typically not orthogonal but each model shows similar behaviors from diff...
متن کاملModel-Driven Generation of Web Applications in UWE
Model-driven engineering (MDE) techniques address rapid changes in Web languages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed for model elaboration and translation to code; on the other hand models can be executable. We demonstrate how both approaches are used in a complementary way in UML-based Web Engineering (UWE). Rule-based tran...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999